MisformedTypeSignature.agda:5,9-9
MisformedTypeSignature.agda:5,9: Illegal name in type signature: (f g)
<EOF><ERROR>
...
